Colin Stirling (auth.): search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

Your gateway to knowledge and culture. Accessible for everyone.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

Books (11)
Most Popular
List
- List
- Table

1

Modal and Temporal Properties of Processes

Modal and Temporal Properties of Processes

Springer-Verlag New York

Colin Stirling (auth.)

Year:

2001

Language:

english

File:

PDF, 7.06 MB

0 / 0

english, 2001

2

Foundations of Software Science and Computational Structures: 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Foundations of Software Science and Computational Structures: 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Colin Stirling (auth.), Luke Ong (eds.)

Year:

2010

Language:

english

File:

PDF, 4.67 MB

0 / 0

english, 2010

3

Foundations of Software Science and Computational Structures: 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Foundations of Software Science and Computational Structures: 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Colin Stirling (auth.), Luke Ong (eds.)

Year:

2010

Language:

english

File:

PDF, 5.96 MB

0 / 5.0

english, 2010

4

CONCUR '95: Concurrency Theory: 6th International Conference Philadelphia, PA, USA, August 21–24, 1995 Proceedings

CONCUR '95: Concurrency Theory: 6th International Conference Philadelphia, PA, USA, August 21–24, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Colin Stirling (auth.), Insup Lee, Scott A. Smolka (eds.)

Year:

1995

Language:

english

File:

PDF, 9.01 MB

0 / 0

english, 1995

5

Modal and temporal properties of processes

Modal and temporal properties of processes

Springer-Verlag New York

Colin Stirling (auth.)

Year:

2001

Language:

english

File:

DJVU, 1.73 MB

0 / 0

english, 2001

6

CONCUR '95: Concurrency Theory: 6th International Conference Philadelphia, PA, USA, August 21–24, 1995 Proceedings

CONCUR '95: Concurrency Theory: 6th International Conference Philadelphia, PA, USA, August 21–24, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Colin Stirling (auth.), Insup Lee, Scott A. Smolka (eds.)

Year:

1995

Language:

english

File:

DJVU, 4.89 MB

0 / 0

english, 1995

7

Temporal Logic in Specification: Altrincham, UK, April 8–10, 1987 Proceedings

Temporal Logic in Specification: Altrincham, UK, April 8–10, 1987 Proceedings

Springer-Verlag Berlin Heidelberg

Colin Stirling (auth.), B. Banieqbal, H. Barringer, A. Pnueli (eds.)

Year:

1989

Language:

english

File:

DJVU, 4.48 MB

0 / 0

english, 1989

8

Automated Deduction – CADE-21: 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings

Automated Deduction – CADE-21: 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings

Springer-Verlag Berlin Heidelberg

Colin Stirling (auth.), Frank Pfenning (eds.)

Year:

2007

Language:

english

File:

PDF, 4.55 MB

0 / 0

english, 2007

9

Foundations of Software Science and Computational Structures: 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Foundations of Software Science and Computational Structures: 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Colin Stirling (auth.), Luke Ong (eds.)

Year:

2010

Language:

english

File:

PDF, 4.57 MB

0 / 0

english, 2010

10

Concurrency: Theory, Language, and Architecture: UK/Japan Workshop Oxford, UK, September 25–27, 1989 Proceedings

Concurrency: Theory, Language, and Architecture: UK/Japan Workshop Oxford, UK, September 25–27, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Colin Stirling (auth.), Akinori Yonezawa, Takayasu Ito (eds.)

Year:

1991

Language:

english

File:

PDF, 11.09 MB

0 / 0

english, 1991

11

Concurrency: Theory, Language, and Architecture: UK/Japan Workshop Oxford, UK, September 25–27, 1989 Proceedings

Concurrency: Theory, Language, and Architecture: UK/Japan Workshop Oxford, UK, September 25–27, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Colin Stirling (auth.), Akinori Yonezawa, Takayasu Ito (eds.)

Year:

1991

Language:

english

File:

DJVU, 4.97 MB

0 / 0

english, 1991